Elementary constructive theory of Henselian local rings

نویسندگان

  • Maria Emilia Alonso
  • Henri Lombardi
  • Hervé Perdry
چکیده

We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Henselian Local Rings: Around a Work in Progress

An introduction to the theme of local rings and Henselian local rings is given through numerous examples. We outline an elementary and effective construction of the Henselization of a local ring and an effective proof of about a classical result in Henselian local rings. This paper anounces a joint work of the three authors.

متن کامل

Definable Henselian Valuation Rings

We give model theoretic criteria for the existence of∃∀ and∀∃formulas in the ring language to define uniformly the valuation rings O of models (K,O) of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings O of valued henselian fields (K,O) whose residue class field k is finite, pseudofinite,...

متن کامل

Sums of squares in excellent henselian local rings

This is a survey about the representation of positive semidefinite elements as sums of squares from a local viewpoint, in the sense of analytic geometry. Here, we present the most recent results in the more general frame of excellent henselian local rings with real closed residue field. 1

متن کامل

Strong cleanness of matrix rings over commutative rings

Let R be a commutative local ring. It is proved that R is Henselian if and only if each R-algebra which is a direct limit of module finite R-algebras is strongly clean. So, the matrix ring Mn(R) is strongly clean for each integer n > 0 if R is Henselian and we show that the converse holds if either the residue class field of R is algebraically closed or R is an integrally closed domain or R is ...

متن کامل

Some Model Theory for Almost Real Closed Fields

We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Math. Log. Q.

دوره 54  شماره 

صفحات  -

تاریخ انتشار 2008